(PROP:60 
  (INTQPRO:58 bafe:1))

